Kettenschluss


Kettenschluss
m PHILOS. chain syllogism, sorites
* * *
Kẹ|tten|schluss
m (LOGIK)
sorites
* * *
Kettenschluss m PHIL chain syllogism, sorites

Deutsch-Englisch Wörterbuch. 2013.

Look at other dictionaries:

  • Kettenschluss — Als Kettenschluss werden in der traditionellen und in der modernen Logik zwei unterschiedliche, aber optisch ähnliche Schlussfiguren (Implikationsserien) bezeichnet. Inhaltsverzeichnis 1 Kettenschluss in der modernen Logik 2 Sorites, der… …   Deutsch Wikipedia

  • Kettenschluss — Kẹt|ten|schluss 〈m. 1u; Logik〉 verkürzte Form der Schlusskette, bei der die der ersten Prämisse folgenden Prämissen weggelassen u. nur die Folgerungen verkürzt wiedergegeben werden, z. B. Hunde sind Raubtiere, also Fleischfresser, also mit… …   Universal-Lexikon

  • Kettenschluss (Sorites) — Die Artikel Modus Barbara und Kettenschluss überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen Baustein… …   Deutsch Wikipedia

  • Modus barbara — Die Artikel Modus Barbara und Kettenschluss überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen Baustein… …   Deutsch Wikipedia

  • Modus Barbara — ist ein Syllogismus einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a“ im Merkwort bedeutet, dass sowohl beide Voraussetzungen als auch die Folgerung bejahend und… …   Deutsch Wikipedia

  • Coacervatio — Der Sorites (sôritês, sôros, Haufen) bezeichnet in der Philosophie die Paradoxie des Haufens einen Kettenschluss, siehe Kettenschluss (Sorites) …   Deutsch Wikipedia

  • Folgerungsregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Gentzenkalkül — Der Sequenzenkalkül (manchmal auch Gentzenkalkül) ist ein von Gerhard Gentzen entwickelter, primär für metalogische Zwecke konzipierter logischer Kalkül. Inhaltsverzeichnis 1 Notationen und Konventionen 2 Definition 3 Regeln des Sequenzenkalküls… …   Deutsch Wikipedia

  • Inferenzregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Inferenzregeln — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

  • Sequenzenkalkül — In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül eine Familie formaler Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen. Die ersten Sequenzenkalküle, LK für die… …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.